trait A[S]
